\begin{code}
interleaved mutual

  data D : Set where

  data D where
    c : D
\end{code}
